A universal construction generating potential games
نویسندگان
چکیده
منابع مشابه
A Thrifty Universal Construction
A universal construction is an algorithm which transforms any sequential implementation of an object into a concurrent implementation of that same object in a linearizable and wait-free manner. Such constructions require underlying low-level universal shared objects such as compare-and-swap and load-linked/store-conditional . In this paper, we present the first universal construction that (a) u...
متن کاملA Practical Distributed Universal Construction
Modern distributed systems employ atomic read-modify-write primitives to coordinate concurrent operations. Such primitives are typically built on top of a central server, or rely on an agreement protocol. Both approaches provide a universal construction, that is, a general mechanism to construct atomic and responsive objects. These two techniques are however known to be inherently costly. As a ...
متن کاملFibring of Logics as a Universal Construction
1 PROLEGOMENON TO FIBRING It is a task of philosophy to explain the sense in which contemporary science uses the label " logics " , specially through " logics in " (natural language, program verification, machine learning, knowledge representation, abduc-tive and inductive reasoning, etc.) as well as " logics for " (hybrid reasoning systems, ontology, engineering, reasoning about cryptographic ...
متن کاملGeometry as a Universal Mental Construction
Space, Time and Number in the Brain. DOI: © Elsevier Inc. All rights reserved. 2011 10.1016/B978-0-12-385948-8.00019-0 Geometry as a Universal Mental Construction Véronique Izard*†, Pierre Pica‡, Stanislas Dehaene§¶**††, Danielle Hinchey***, Elizabeth Spelke*** *Laboratoire Psychologie de la Perception, Université Paris Descartes, Paris, France; †CNRS UMR 8158, Paris, France; ‡UMR 7023 “Formal ...
متن کاملA \ Universal " Construction of Artstein ' S
This note presents an explicit proof of the theorem {due to Artstein{ which states that the existence of a smooth control-Lyapunov function implies smooth stabilizability. Moreover , the result is extended to the real-analytic and rational cases as well. The proof uses a \universal" formula given by an algebraic function of Lie derivatives; this formula originates in the solution of a simple Ri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Games and Economic Behavior
سال: 2018
ISSN: 0899-8256
DOI: 10.1016/j.geb.2017.02.012